波卡联创 Rob:在波卡中打造 ZK Rollup 平行链的可能性
加入 PolkaWorld 社区,共建 Web 3.0!
最近,波卡联合创始人 Rob Habermeier 在波卡论坛发布帖子,描述了将 ZK Rollup 作为平行链带入 Polkadot 的最小可行性产品。
ZK Rollup 是一种有趣的扩展机制,在过去的几周里,我一直在考虑如何将它们也带到 Polkadot 中。这里描述一个 MVP,通过稍微改变执行核心机制来在共识层支持 ZK Rollup。
虽然我不认为 ZK rollup 是万能的(证明昂贵,区块空间不如 Wasm 灵活),但这是一个值得制作原型的有趣实验。
Polkadot 中的执行核心目前的工作方式如下:
平行链到核心的分配是预先确定的
分配给平行链的收集人创建区块,将它们发送给支持验证人
支持验证人检查区块,然后产生一个允许将 parablock + 元数据发布到链上的 quorum
数据可用
批准检查(approval-checking)进一步检查最终确定性
可以稍微修改此机制以支持 ZK 平行链:
同上
同上
parablock 发布在链上,封装 parachain 逻辑的 ZK 电路评估 parablock 并检查其输出
数据可用
跳过 ZK parablocks,因为 parablock 已经是有效的了
通过进一步的改进,例如将数据可用性层公开为独立于执行核心的服务,可以进一步最小化此流程,并且可以轻松启用 L3 等功能。
ZK Rollups 仍然需要数据可用性,因为状态转换导致的状态更改必须可用于更广泛的网络,以便创建后续状态转换。
主要区别在于我们理论上可以跳过 ZK Rollups 的批准检查逻辑,因为它们可以在最初发布到中继链时由所有全节点检查。
我不是 ZK Rollup 方面的专家,但我相信它会比典型的平行链 PoV 更小,因为它基本上只是一个后状态差异和区块头。也许还有块体本身,但它似乎不是必需的,尽管它对于像区块浏览器这样的东西很有用。
我认为有了数据可用性即服务的概念,我们可以完全专注于建立在平行链之上的 ZK Rollup。
也就是说,我认为在基础层支持这一点有一些非特定的技术原因:
目前尚不清楚 ZK rollup 的扩展性到底有多好。面向未来的 Polkadot 能够适应完整的 ZK 扩展方法是一种有用的战略对冲,尽管在可预见的未来,Wasm 平行链应该明显更快。
对 ZK Rollup 的开发关注是切实存在的,对于 Polkadot 来说,在协议级别打入这个开发者群体很有用的。这应该有助于巩固 Polkadot 作为创新中心的地位,尤其是在聪明的 ZK 人群中。
你认为在波卡中引入 ZK Rollup 有必要吗?欢迎在评论区留言讨论。
原文:https://forum.polkadot.network/t/zk-rollups-as-parachains/2229
编译:PolkaWorld
PolkaWorld Telegram 群:
t.me/polkaworld
PolkaWorld Youtube 频道:
https://www.youtube.com/c/PolkaWorld
PolkaWorld Twitter:
@polkaworld_org
直播预告:
本周四晚 7 点,波卡生态智能合约平台 Gear 将在波卡世界直播间分享 「Gear 最新进展」,点击下方按钮立即预约直播。
更多内容
波卡周报|Rob 讨论将 ZK-rollups 集成到波卡中的潜力,Kusama 神秘地址烧掉价值 470 万美元的交易费!
去中心化不是目标,它只是一个工具!Web3 真正的目标是 Unstoppable!
关注 PolkaWorld
发现 Web 3.0 时代新机遇
点个 “在看” 再走吧!